منابع مشابه
Formalizing and Using Persistency
In many formalizations of a changing world things do not change all the t ime but are persistent thoughout a time interval. Often this persistency is represented by facts refering to intervals int which are still valid if int is replaced by any subinterval i n t ' Approaches l ike episode propagat ion or Penberthy's temporal unification try to employ this property for efficient reasoning. Howev...
متن کاملPersistency and matroid intersection
In this paper, we show that for any independence system, the problem of finding a persistency partition of the ground set and that of finding a maximum weight independent set are polynomially equivalent.
متن کاملPersistency of Excitation and Overparametrization
Abslmct-In an overparametrized model reference adaptive control & r ) = dt)r(') system, the measured signal n(t) cannot he persistently exciting (PE) I + rT(r )r ( t ) for any hounded reference input r ( t ) . The controller parameter vector for model-plant transfer function matching lies in a linear variety in the where = y ( t ) ~ y , , 3 ( t ) p ( t ) { ( t ) ~ , ( ~ ) p ( r ) ~ ( r l ,...
متن کاملWeb Credibility: Features Exploration and Credibility Prediction
The open nature of the World Wide Web makes evaluating webpage credibility challenging for users. In this paper, we aim to automatically assess web credibility by investigating various characteristics of webpages. Specifically, we first identify features from textual content, link structure, webpages design, as well as their social popularity learned from popular social media sites (e.g., Faceb...
متن کاملPersistency of Connuence 1
A property P of term rewriting systems (TRSs, for short) is said to be persistent if for any many-sorted TRS R, R has the property P if and only if its underlying unsorted TRS (R) has the property P. This notion was introduced by H. Zantema (1994). In this paper, it is shown that con uence is persistent.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ASTIN Bulletin
سال: 1996
ISSN: 0515-0361,1783-1350
DOI: 10.2143/ast.26.1.563233